Pork tenderloin with mustard marinade