Formalizing locality for normative synaptic plasticity models Colin Bredenberg