Marscoin - A planetary Cryptocurrency to bootstrap Mars settlement and a planetary financial system for Mars