State Estimation For Discrete Linear Systems With Additive Laplace Noise