What is Pi Coin, and what are its intended uses within its network? Furthermore, considering its recent mainnet launch, is Pi Coin currently available for trading on any cryptocurrency exchanges?