Florida executes ex-cop for killing 9 in 1986