NBC: Florida man executed for killing an 8-year-old girl and her grandmother