cooking a pork tenderloin in the ninja foodi