Micromachining: definition, types, and applications