Proving Computational Soundness of the Applied Pi-Calculus without Using Computable Parsing