展开 火星形成时间多长