On optimal fault detection for discrete-time Markovian jump linear systems