machines and processes of mining