Determination of the average micropore diameter of an Illinois No. 6 coal by xenon-129 NMR