Hierarchical a posteriori error estimation of Bank-Weiser type in the FEniCS Project