How can we tackle relational algebra of the sort seen in optimization models using tools from AlgebraicJulia?| blog.algebraicjulia.org