Bayesian inference for non-stationary marginal extremes