¿Qué autor (1579-1644), además de Lope de Vega, escribió una obra titulada "La serrana de la Vera"?