Rough set theory and granular computing