Texas town residents sue Marathon Digital over crypto mine noise