Master Surgical Scheduling via Answer Set Programming