Discrete-time Distributed Kalman filter Design for Formations of Autonomous Vehicles