Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities (JAIR, 2025)