Theoretical aspects of atomic mixing by ion beams