On Productivity of Abrasive Water Jet Machining for Miniature Gear Manufacturing