Stochastic models for the in silico simulation of synaptic processes