¿Qué es el optimizador Catalyst en Spark y qué ejemplos específicos de optimizaciones realiza (por ejemplo, predicate pushdown)?