米鉱山スタートアップが自動運転企業と提携 銅山運営の完全自動化へ