Ab initio-based approach to initial incorporation of Bi on |GaAs(001)-c(4×4)α surface