A pi-calculus with explicit substitutions