Prompt Engineering in Segment Anything Model: Methodologies, Applications, and Emerging Challenges