Pork tenderloin with mustard