Rough set theory tutorial