Text this: A provably secure and lightweight mutual authentication protocol in fog-enabled social Internet of vehicles