WBJ: Mason one of the D.C. area's top employers among colleges and universities