A linear program for optimal integration of shared autonomous vehicles with public transit. (December 2019)