A new digital comparison of the Chinese World Maps of Giulio Aleni and Matteo Ricci