Bousfield localization on formal schemes