An ASP-based solution for operating room scheduling with beds management