Experiences With IoT and AI in a Smart Campus for Optimizing Classroom Usage