pork tenderloin with roasted carrots on the side