The biography of Francesco di Giorgio Martini (1439 - 1502)