地球的平均赤道半径为