Chef Jeff Raymond's Pork Tenderloin on the Big Green Egg