Edwin Hubble's observations in the 1920s proved that 'spiral nebulae' such as Andromeda were actually distant galaxies.Which type of variable star did he use to measure their distances?