The Braga Method: Extracting Certified Algorithms From Complex Recursive Schemes in Coq