Global optimization tailored for graphics processing units: Complete and rigorous search for large-scale nonlinear minimization