John Allen Muhammad executed for sniper attacks that killed 10 around D.C. during 3-week spree