How Texans saved $85 million on property taxes (in just 3 steps)