A Survey of Uncertainty Estimation in LLMs: Theory Meets Practice