Simulation and optimization of road deicing salt usage based on Water-Ice-Salt Model