公転 定義