Ion-Beam Methods for High-Precision Processing of Optical Surfaces