The mortars of the old Cathedral of Pisa