Where do astronomers work?