How to get weighted random choice in Python?