Rough sets and matroidal contraction