Florida executes Michael Lambrix