What are the top operating room scheduling software solutions used by hospitals and healthcare facilities? I'm interested in understanding their scheduling features, resource optimization capabilities, workflow automation, and the pros and cons of different platforms.