Explaining ASP-based Operating Room Schedules