Gas Flow Characteristics and Optimization of Gas Drainage Borehole Layout in Protective Coal Seam Mining: A Case Study from the Shaqu Coal Mine, Shanxi Province, China