A CSP implementation of the bigraph embedding problem