Forcing and evaluating detailed snow cover models with stratigraphy observations