Circuit Model of Short-Term Synaptic Dynamics