Exact algorithms for a personnel scheduling problem in intra-hospital patient transfer with hierarchical objectives | Synapse