Swarm-GPT: Combining Large Language Models with Safe Motion Planning for Robot Choreography Design