used machinery involved in the mining of coal