Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization