historic astronomical discoveries