鉱山作業で深い穴から鉱物を抽出するドラグライン掘削機