The scientist who first discovered that the earth revolves round the sun was