Localization theorem for higher arithmetic K-theory