What is a Channel Manager and why is it a must tool for hotels?