Czym jest optymalizator Catalyst w Spark i jakie konkretne przykłady optymalizacji wykonuje (np. predicate pushdown)?