Quantum learning algorithms imply circuit lower bounds