GitHub investigating crypto-mining campaign abusing its server infrastructure