Charter School and Traditional Public-School Performance Scores in Washington, D.C.