Formal group laws and complex cobordism