Synthetic User Behavior Sequence Generation with Large Language Models for Smart Homes