Можешь объяснить, что такое Redux и как он работает в управлении состоянием приложения?