How many stars are there in the Milky Way?