a method of cooking pork tenderloin on a grill