Text this: Chance-constrained eco-driving control of connected autonomous vehicles in mixed traffic environment at signalized intersections with uncertain signal timings.