A theoretical treatment of cascade mixing in depth profiling by sputtering