A construction worker has two different types of cement mixes. He needs to make
10 tons of concrete that is 40% cement by mixing a 20% cement mixture with a 70% cement
mixture. How much of each mixture does the construction worker need to use?