Static strength estimation of frozen soils using DEM-verified and optimized tree-based algorithms | Synapse