Liebherr's New Monstrous Mining Excavator: The R9300