Maximum-likelihood Kalman filtering for switching discrete-time linear systems