On the Computational Geometry of Pocket Machining