What are mathematical invariants and why are they useful?