Efficient estimation of the Word Error Rate of Analog-to-Digital Converters