The largest dump trucks in the world. The failures of the giants Liebherr, CAT, BelAZ and Komatsu