Multi-resource shop scheduling with resource flexibility