Slapo: A Schedule Language for Progressive Optimization of Large Deep Learning Model Training