Bayesian analysis of gene essentiality based on sequencing of transposon insertion libraries