Paid Search Meets Machine Learning