O que é o otimizador Catalyst no Spark e quais exemplos específicos de otimizações ele realiza (por exemplo, predicate pushdown)?