Filtering of differential nonlinear systems via a Carleman approximation approach