Elastic bodies with residual stress. Variational models by Γ-convergence