NBC: Florida man executed for 1984 killings of teenage babysitter and a mother of 2