Computational evaluation of TIS annotation for prokaryotic genomes