Florida city pays $600,000 to hackers who seized its computer system