How many constellations are known to astronomers today?