Learning about Grover's search algorithm