Gemini was on the list of tools Google engineers are banned from using