To Do Politics or Not Do Politics? Tech Start-Ups Are Divided