Exponential localization of Wannier functions in insulators