Virtual reality, drones and automation are making mining safer and more productive.