金星の自転速度を上げるにはどれくらいの質量の小惑星をどのくらいの軌道でぶつければいいのだろう…