A city in Texas is using paper after suffering ransomware attack