Mathematical Programming for Data Mining: Formulations and Challenges | Synapse