Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems