Concept and Attribute Reduction Based on Rectangle Theory of Formal Concept