A bag contains 3 red, 4 blue, and 5 green marbles. Three marbles are drawn simultaneously. What is the probability that all three have different colors?