Mining machines, namely, earth cutting machines, earth moving machines, namely, cutter loaders, coal cutting machines, oil well pumping machines, rock drills, well drilling machines, mining drill sharpeners, mine borers, earth moving machines, namely, coal loaders, truck mills for mining purposes, coal ploughs, concrete construction machines, excavating machines, foundation work machines, ground surface finishing and compacting machines, concrete and asphalt paving machines