Sparkтеги Catalyst оптимизатору эмне жана ал кандай конкреттүү оптимизацияларды жасайт (мисалы, predicate pushdown)?