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