ShuttleSet: A Human-Annotated Stroke-Level Singles Dataset for Badminton Tactical Analysis