Mathematical questions around optimization model formulations