Diretor de operações da Tyler Technologies vende US$ 4,2 mi em ações