Pork Tenderloin Medallions with Mustard Sauce