Bigraphical reactive systems: basic theory: Technical Report 523