Routing Overhead as A Function of Node Mobility: Modeling Framework and Implications on Proactive Routing | IEEE Conference Publication | IEEE Xplore