Snuker/Dunia: Kejuaraan Snuker Dunia 1972