An exact algorithm for efficient online optimization of HGV path, speed profile and stops for minimising fuel consumption and emissions under time-varying conditions