10 things to do in D.C. around the holidays