Spark-də Catalyst optimizer nədir və hansı konkret optimizasiyaları həyata keçirir (məsələn, predicate pushdown)?