Value-Function-based Sequential Minimization for Bi-level Optimization