A mixed finite element method for nonlinear elasticity: two-fold saddle point approach and a-posteriori error estimate