Formalizing locality for normative synaptic plasticity models