What are some examples of formal groups?