東京メトロ、半蔵門線の新型車両を公開 40年活躍した8000系の後継で8月導入予定