Exploring mobility metrics quantitatively for vehicular networks based on three-phase traffic theory.