HRSAM: Efficiently Segment Anything in High-Resolution Images