Haplodiploidy and evolution of eusociality in insects