東京メトロ半蔵門線の新型車両18000系が8月から運行を開始することが発表されました。2025年度までに10両編成19本を投入して8000系を順次置き換えるとのことです。詳細はどうなっているのでしょうか？