Judge: Samsung must pay InterDigital $134M