Gravar-mail: Deterministic Propagation Modeling for Intelligent Vehicle Communication in Smart Cities