used 940 mining machine