Citrus-Grilled Pork Tenderloin