Jean-Luc Tavernier, Directeur général, Insee