Marathon Digital mined 1,187 BTC in November amidst record network difficulty