Solving a real-life multi-skill resource-constrained multi-project scheduling problem.