Short-term plasticity in a computational model of the tail-withdrawal circuit in Aplysia