Defect energetics and electronic structures of As-doped p-type ZnO crystals: A first-principles study