An anisotropic coal permeability model that considers mining-induced stress evolution, microfracture propagation and gas sorption-desorption effects