Officially snowy: D.C. snow edges above average, for only 4th time in 25 years