What is the probability of choosing a red card at random from a pack of cards?