Probabilistic counter-based route discovery for mobile ad hoc networks