Peppered beef tenderloin with mustard sauce