CA1 model with probabilistic release synapses