Lattice formulation of the CPn-1 non-linear σ models