First-principles investigations of arsenate doping into the ettringite lattice