Modeling late Paleozoic glaciation