Modeling and experimental studies on thermosonic flip-chip bonding