Optimal-Complexity And Robust Multigrid Methods For High-Order Fem