NB-IoT: Characteristics and Considerations for Design and Verification