Aerotech Launches the AGV5D, a New Laser Micro-machining Scanner