An analysis of various methods for computing the envelope of a random signal