Pork Tenderloin in Mustard Sauce