Efficient Test Case Prioritization with Machine Learning at SAP HANA