Judge rules ReDigi music resale service infringes copyright