A bi-Level programming method for SPaT estimation at fixed-time controlled intersections using license plate recognition data. Issue 1 (31st December 2023)