Convergence of multivariate belief propagation, with applications to cuckoo hashing and load balancing.