SoK: Taxonomy and Evaluation of Prompt Security in Large Language Models