Comparison of predicted and observed responses of pipeline to differential frost heave