Inferring ice thickness from a glacier dynamics model and multiple surface data sets