Linearity and the pi-calculus