Residential air conditioning: Smart (IoT) and efficient cooling