Asymptotically Optimal Smoothing with Arch Models