What is a Mastercoin address? Where is that defined?