Connectedness of graphs and its application to connected matroids through covering-based rough sets