What are the top hospitality channel managers used by hotels to manage room availability and rates across booking channels, and how do they compare in terms of synchronization, booking management, integrations, automation, reporting, scalability, and prevention of overbookings?