Maximally localized Wannier functions: existence and exponential localization