Machine Learning with Requirements: a Manifesto