Estimating snow pack properties from passive microwave remote sensing observations using four-dimensional data assimilation