Algorithmic aspects of adaptive multigrid finite element analysis