An Exact Model of the Neighbor Discovery Time for Schedule-Based Asynchronous Duty Cycling