Implementation of Kalman Filtering with Spiking Neural Networks