Geometric lattice structure of covering and its application to attribute reduction through matroids