Castigos de Sancho IV — 13th-century Castilian didactic work