What if we could terraform Venus?