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