President Trump’s attempt to impose travel bans on people from Muslim-majority countries prompted an outcry from leading tech sector figures. But how genuinely diverse is Silicon Valley? And does diversity management pay off?