Robust Detection of Watermarks for Large Language Models Under Human Edits