Batch convert audio files to a different format using Audacity