The Interstate 70 and Ohio 72 interchange