Verification and Repair of Machine Learning Models