Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas