Washington, D.C. sniper John Allen Muhammad executed by lethal injection