Microscopic model of heteroepitaxy of GaAs on Si(100)