Operating Room Scheduling via Answer Set Programming