techniques for mining coal from coal seams