a recipe or method for cooking pork tenderloin in an instant pot