Gas permeation and micropore structure of carbon molecular sieving membranes modified by oxidation