ghh mining machines number of employees