Online translators are sexist – here's how we gave them a little gender sensitivity training