Linearized elasticity as Gamma-limit of finite elasticity