Soil trafficability model in boreal forests: effects of frost and soil properties on forwarder operations | Synapse