ConU: Conformal Uncertainty in Large Language Models with Correctness Coverage Guarantees