D.C. Sniper John Allen Muhammad Is Executed in Va.