Band-edge shift and surface charges at illuminated n-GaAs/aqueous electrolyte junctions: surface-state analysis and simulation of their occupation rate