Global seismic monitoring as probabilistic inference