A Florida city was forced to use pen and paper and pay a $500,000 ransom after hackers took control of its computers