Taxonomic studies of house dust mite fauna of West Bengal with reference to the biology and ecology of Dermatophagoides pteronyssinus