羽田トンネルとATS、そして赤羽台トンネルとATC