On the regularity theory of bi-Sobolev mappings