Aké mechanizmy používa Python pre asynchrónne programovanie, viacvláknové spracovanie a synchronizáciu vlákien? Aký je ich pracovný model?