On nonlinear elasticity theory for crystal defects