The minimum modulus problem for covering systems