What type of technology is used in mining?

Large earth moving equipment, explosives, drilling equipment, tunneling equipment, etc.