A Benders decomposition algorithm for the multi-mode resource-constrained multi-project scheduling problem with uncertainty · Study