Introduction to focused ion beams :instrumentation, theory, techniques, and practice