Oklahoma executes man who killed a woman 20 years ago in home invasion, robbery