ExOne and voxeljet are being merged together in a not-too-surprising announcement from ExOne Global Holdings. Who are they?