A mathematical model of redox/methylation metabolism in human neuronal cells