Deadlock and Lock Freedom in the Linear π-Calculus