A numerical study of a highway embankment on degrading permafrost