A technology to extract coal mine gas using thin sub-layer mining with hydraulic jet. (2016)