A mixed-integer model for skill development in a multi-skilled workforce