Cos'è l'ottimizzatore Catalyst in Spark e quali esempi specifici di ottimizzazioni esegue (ad esempio, predicate pushdown)?