Что такое Catalyst optimizer в Spark и какие конкретные примеры оптимизаций он делает (например, predicate pushdown)?