The Many-Worlds Calculus: Representing Quantum Control