Proof Theory of Graph Minors and Tree Embeddings