Sequential Audit Sampling with Statistical Guarantees