Fast ways to cook pork tenderloin