Altitude, habitat and tropical insect diversity