Synapses with short-term plasticity are optimal estimators of presynaptic membrane potentials