Theory and improvements for SNMS depth profiling with INA3