Text this: Geometric Lattice Structure of Covering and Its Application to Attribute Reduction through Matroids