Solving Bayesian inverse problems with expensive likelihoods using constrained Gaussian processes and active learning | Synapse