Spell: Mathematical optimization