equipment required for mining of coal