Designing Quantum Algorithms with TequilaΒΆ