Arctic sea ice temperature profile estimation via backstepping observer design.