An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear Π-Calculus