Software vendor Tyler Technologies tells U.S. local government clients it was hacked