Pork tenderloin with Mustard Sauce