machinery for underground mining of thin seam coal