‘A decisive victory’: Tech leaders react to Donald Trump’s US election win