Robust Fault Detection for Constrained Uncertain Linear Systems: A Moving Horizon Estimation Approach