A lot splitting scheduling method for green workshop based on multi-level optimization model