Multi-Project Management with a Multi-Skilled Workforce