Supporting winter road maintenance procedures with the use of distributed measurements based on IoT, thermodynamic models and machine learning.