Theoretical study of GaAs surface passivation with Se