브라질 석유 거대 기업 페트로브라스, 비트코인 채굴 조사 시작