spice-rubbed pork tenderloin med ovnsbakte små gulrøtter