Theoretical study of the As(100) surface reconstruction of GaAs