toqito|toqito> (Theory of Quantum Information Toolkit) in Pythonproject python convex-optimization nonlocal-games semidefinite-programming quantum-information-theory