Many-Body Localization Implies that Eigenvectors are Matrix-Product States