An integrative strategy to identify the entire protein coding potential of prokaryotic genomes by proteogenomics