heigh ho the dwarfs marching song the dave brubeck quartet lyrics music