introduction of mining mill machine