GPU-based stochastic-gradient optimization for non-rigid medical image registration in time-critical applications