First-principles calculations of the thermodynamic mixing properties of arsenic incorporation into pyrite and marcasite