Scanning ion beam techniques for the examination of microelectronic devices