First-principles calculations of structural, electronic, and thermodynamic properties of ZnO1−xSx alloys