quantum algorithm for linear systems of equations .
Quantum amplitude amplifica-tion and estimation