Beef tenderloin with green peppercorn sauce