Exploring EFL students' prompt engineering in human-AI story writing: an Activity Theory perspective