The man behind the 2002 sniper attacks in and around Washington DC has been executed after a final appeal was thrown out.