Roasted Pork Tenderloin with Creamy Mustard Sauce