MP3 versus WAV files for healing music