Focused ion beam repair in microelectronics