Tyler Technologies says it was hacked with ransomware, election programs safe