Roasted Pork Tenderloin with Mustard