Random choice from given options according to the given probabilities