Cooling effect of crushed-rock revetment as a reinforcement measure for embankment in permafrost regions with massive ground ice | Synapse