Ginger-orange pork tenderloin, fennel and orange salad