Ab initio-Based Approach to N-pair Formation on GaAs(001)-(2×4) Surfaces