Exclusive: Mark Zuckerberg publicly praises Meta’s Llama AI, but also uses rival GPT-4 to improve an internal AI coding tool