Mixed integer programming of joint optimization of signal timing and phasing and vehicle trajectories under mixed traffic environment.