A primer on sexism in the tech industry