Linear independence of a finite set of time-frequency shifts