Symbolic-numeric indirect method for solving optimal control problem for large multibody systems: the time-optimal racing vehicle example