Machines trained in complex mountain data carefully navigate fault lines, fractures, caves and sinkholes to pick the best excavation method. Read full story