What is the Nyquist theorem's requirement for the sample rate relative to the highest audio frequency to be captured?