equipment of mining of coal