SMLE: Safe Machine Learning via Embedded Overapproximation