화성 테라포밍하는데 얼마나 걸릴까