Belowground mining of hard coal