Hercules and David in the early decoration of the Palazzo Vecchio: manuscript evidence