A Simpler Algorithm and Shorter Proof for the Graph Minor Decomposition