Towards vehicle automation: Roadway capacity formulation for traffic mixed with regular and automated vehicles. (June 2017)