MARA lança piloto para aproveitar o gás de xisto em operações de mineração de Bitcoin