Florida executes man convicted of double murder