a double bass is used for music