algebraic modeling language