A study of the mechanism of gas-phase phenol methylation with basic catalysts