Qual è il ruolo di Redux nella gestione dello stato dell'applicazione?