what is arsenic used for