An efficient matheuristic for offline patient-to-bed assignment problems