Quali meccanismi utilizza Python per la programmazione asincrona, il multithreading e la sincronizzazione tra thread? Qual è il loro modello di funzionamento?