How long do you cook pork tenderloin on a george foreman grill