Welke mechanismen gebruikt Python voor asynchrone programmering, multithreading en thread-synchronisatie? Wat is hun werkmodel?