Some tech executives are matching ACLU donations amid immigration ban protests