different types of machinery used in construction and mining