Quantitative Simulation of Synaptic Vesicle Release at the Neuromuscular Junction