A Sensor Network System for Road Ice Formation Detection