Yesterday, David only ran 5 miles. This is only 70% of what he usually runs everyday. How many miles does David usually run everyday?