methods of mining used for mining coal in pakistan