In a loss for big tech, Supreme Court lets Texas put age restrictions on apps