Colombian judge says he used ChatGPT in ruling