Theoretical model of postsynaptic AMPA receptor trafficking during synaptic plasticity