The Implicit Function Theorem: History, Theory, and Applications