I read that most of the 50m supply of $A5T token can only be mined by trading on exchange. Is mining option available for everyone? Any plans to lockup or burn some token, after full mining is complete?