Pork Tenderloin with Roasted Carrots