Should you pay up if you are hit by ransomware? Police in a Texas town decided not to, though other forces have chosen differently