Ab initio molecular-dynamics simulation of liquid AsxTe1−x alloys