On minimum time vehicle manoeuvring: the theoretical optimal lap