Google engineers leave the company over controversial exit of top AI ethicist