Weighted random sampling without replacement
