Google exec Marissa Mayer takes over as Yahoo CEO