Tinnitus pitch, masking, and the effectiveness of hearing aids for tinnitus therapy