使用済み真空ポンプオイルはどのように廃棄しますか？