Survey of double bass drumming: history, technique, and performance practice