On the Management of Type 1 Diabetes Mellitus with IoT Devices and ML Techniques