Progressive Document-level Text Simplification via Large Language Models