Introduction to the Theory of Formal Groups