A Semantic Invariant Robust Watermark for Large Language Models