The ratio of the number of red balls to yellow balls to green balls in an urn is 3 : 4 : 5. What is the probability that a ball chosen at random from the urn is a red ball?