Дифференциальные автоматы АД-2, АД-4 (S) EKF PROxima