Implement weighted sampling without replacement

[dhardy]

See here.

Example:

Very simple example: I have 1kk users with their weights. And I should select only 100 unique users.

[vks]

Implemented in #1013.