3D Documentation of an ancient wooden lock of the Navigli canals in Milan, based on da Vinci's studies