A reactivity and computational study of the basic-catalyzed methylation of phenol with methanol