AI-Driven Real Estate Analysis Helps Homeowners Correct $13.9 Million in Property Tax Over-Assessments in Resort Market