Email-запись: Determination of Long Horizontal Borehole Height in Roofs and Its Application to Gas Drainage