A General Framework for Property-Driven Machine Learning