As you sweat over preparing Christmas dinner for a mere 12 or even 20 guests, spare a thought for Gary Thomas. He is responsible for feeding 10,000-odd people a day. Here’s how he does it