火星は約37億年前に冷却と乾燥化が進んで火山活動も停止した、東大が解明