A company has 125 personal computers. The probability that any one of them will require repair on a given day is 0.025. To find the probability that exactly 20 of the computers will require repair on a given day, what type of probability distribution should one use?