Granular Computing : The Concept of Granulation and Its Formal Theory