Dagger Linear Logic and Categorical Quantum Mechanics