Set-Type Belief Propagation with Applications to Poisson Multi-Bernoulli SLAM