Jaké mechanismy Python používá pro asynchronní programování, vícenásobné vlákna a synchronizaci vláken? Jaký je jejich model práce?