Tyler Technologies buys teacher tracking, veterans' claims software firms