Notebook illustrating semi-values

#319 implements Banzhaf indices and Beta Shapley, but only superficially documents them. We need a notebook comparing them to other methods, along the lines of the experiments in the respective papers.

This should be done after or as part of #230 and #231