Giovanni Alfonso Borelli and the books of others : a contribution to the reconstruction of Borelli's Library