Batch scheduling in process industries: an application of resource-constrained project scheduling