Text this: The frost penetration problem in highway engineering.