How long is 7/10 of a mile, in feet?