Polynomial Size Extended Formulation Definition Science