Text this: Linear matrix inequalities and polyhedral invariant sets in constrained robust predictive control