Writing user personas with Large Language Models: Testing phase 6 of a Thematic Analysis of semi-structured interviews