Dynamic scheduling of batch operations with non-identical machines door D.J. van der Zee