Theoretical Accuracy for ESTL Bit Error Rate Tests