公司分立的种类有哪些，公司分立程序是怎样的