what machines are used in mines