Reduction of Walsh-transformed electrocardiograms by double logarithmic coding