The first launching of a mine: Francesco di Giorgio and the capture of Castel Nuovo