Can LLM-driven synthetic participants help user research? A case study in designing augmented reality for education | Synapse