Google settles with SEC over stock options