Mustard pork tenderloin baked