The nonlinear membrane energy: Variational derivation under the constraint “det∇u≠0”