info on mining and processing arsenic