Mustard-Rubbed Pork Tenderloin with Rosemary Baby Carrots