Exploitation of gene knockout mice models to study the pathogenesis of leprosy.