An unconstrained Lagrangian formulation and conservation laws for the Schrödinger map system