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