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