Pork tenderloin in a Dijon Marsala sauce