Pork tenderloin with dijon mustard sauce