introduction to heavy construction equipment mining mills