¿Cuál es el papel de Redux en la gestión del estado de la aplicación?