coal machinery used in mining in pakistan