Using Covering Reduction to Identify Reducts for Object-Oriented Concept Lattices