From a large-scale genomic analysis of insertion sequences to insights into their regulatory roles in prokaryotes