an interstate highway is used for interstate auto travel