An agent-based model of IPv6 adoption