First-principles study of the atomic reconstructions and energies of Ga- and As-stabilized GaAs(100) surfaces | Synapse