Algebraic multigrid theory: The symmetric case