LongitudinalDeformationModel andParameterAnalysisofCanal Lining under Nonuniform Frost Heave