Analysis of in-plane transonically propagating interface crack with a finite contact zone