Variation characteristics of coal rock layer and gas extraction law of surface well under mining pressure relief