NBC: Oklahoma executes man who killed a woman in a 2005 random home invasion robbery