Mechanical behavior and permeability evolution of gas infiltrated coals during protective layer mining