Interstate 135's southern terminus is with a highway that is how many miles long?