Ellipsoidal Set-Membership Filtering for Discrete-Time Linear Time-Varying Systems