Results and problems on covering systems of residue classes