Computational models for monitoring the trans-membrane potential with fluorescent probes: the DiSC3(5) case