宇宙デブリ衝突による人工衛星ミッション終了リスクの定量化