Global Convergence ofTrust-Region SQP-Filter Algorithmsfor General Nonlinear