Ab initio calculations of the copper(2+)-O2- interaction as a model for the mechanism of copper/zinc superoxide dismutase