The Symbolic Applied Pi-calculus