Colombia wants to mine bitcoin with surplus renewable energy