Modeling of Routing Protocols for a MANET