Filtering for Robust FDI in Discrete-time Systems with Polytopic Uncertainty