Автоматизированные системы управления, метро Театральная