Efficient Motion Planning for Automated Lane Change based on Imitation Learning and Mixed-Integer Optimization.