convert lua to json