테라포밍하는데 시간이 오래 걸린다면 그 대안으로 지하도시를 만드는게 대안이 될 수 있을까요?