An ASP-based framework for operating room scheduling