Terraform Labs sold unregistered securities, US judge rules in SEC case