Asyncio: understanding async and await in Python