Human Factors for the Design, Operation, and Maintenance of Mining Equipment