penemuan astronom