Returns the degree of `vertex`. The degree is computed by totaling the `edge-size` (e.g., the `weight`) of each edge attached to vertex that passes `edge-filter`. `Edge-filter is a predicate and `edge-size` should map edges to their weights.