Mathematical Programming Language - A Domain-Specific Language for Discrete Mathematics.