Symbolic Music Generation with Non-Differentiable Rule Guided Diffusion