Extremadura beef tenderloin with Torta del Casar sauce