Gas permeability and fracture compressibility for proppant-supported shale fractures under high stress