An ASP based solution for operating room scheduling with surgical teams in hospital environments