Characterization of the virulence of Cryptococcus neoformans strains in an insect model