A general framework for modeling shared autonomous vehicles with dynamic network-loading and dynamic ride-sharing application. (July 2017)