Machine Learning-Based Driving Style Identification of Truck Drivers in Open-Pit Mines