Pork Tenderloin with Mustard Sauce