Torsional Newton-Cartan geometry from the Noether procedure