Thermodynamic properties of arsenic compounds and the heat of formation of the As atom from high level electronic structure calculations.