A flexible and efficient Bayesian implementation of point process models for spatial capture–recapture data