global 00 mining machinery manufacturers and the