D2D in LTE vehicular networking: system model and upper bound performance