The coral bugs, genus Halovelia Bergroth (Hemiptera, Veliidae). II. Taxonomy of the H. malaya-group, cladistics, ecology, biology, and biogeography