NBC: Oklahoma executes man for killing of girlfriend's 3-year-old son