Astronom (operetka)