a rigorous and robust quantum speed-up in supervised machine learning