Probability of choosing a red marble