Describir: Analytical models of batch processing for optimal design of semiconductor manufacturing