Mustard-Glazed Pork Tenderloin