Chef Gary Thomas and his battalions of staff serve some 100,000 meals each day. The job requires a dizzying degree of preparation, the keenest eye for detail and military discipline