what kind of machinery was used in mining