NBC: Florida executes man convicted of raping and killing a woman 3 decades ago