The individual time trial as an optimal control problem