Asymptotic Theory of Sequential Fixed-Width Confidence Interval Procedures