Government software provider Tyler Technologies hit by ransomware