A fully-abstract model for the pi-calculus (extended version)