New integer programming models for slab stack shuffling problems