Exact Operating Characteristic for Truncated Sequential Life Tests in the Exponential Case