Text this: Joint operation planning of drivers and trucks for semi-autonomous truck platooning.