diifferent methods of mining coal mining