A bag contains four blue marbles, five green marbles, and three yellow marbles. How many blue marbles should you add to the bag so that the probability of drawing a blue marble is 0.80?