Petrobras, Google spying revealed in Snowden documents