Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL