Removed Zimpl polyhedral formulation from the .tex, may be added as an annex at a later point.