Mining companies are rolling out autonomous trucks, drills, and trains, which will boost efficiency but also reduce the need for human employees.