Dimensional regularization of nonlinear sigma models on a finite time interval