Application of a focused ion beam system to defect repair of VLSI masks