Reduced-Order Autodifferentiable Ensemble Kalman Filters