Text this: Focused ion beam micromachining: technology and application