Formalizing Goodhart's Law in AI Alignment