A Probabilistic Applied Pi-Calculus