Texas Locals Take Legal Action Against Marathon Digital for Excessive Crypto Mining Noise