Provenance in MathDataHub