“Tyler Technologies is the leading provider of local municipal software in the United States and has a market capitalization of $14.5 billion.”