coal seam gas mining.