A day-ahead market clearing mechanism for nodal carbon intensity control using the flexibility of charging stations. (May 2023)