王贞仪的故事,王贞仪在历史上是个怎样的人