Composition of bi-Sobolev homeomorphisms