It is reported that there is an ongoing decrease in the pH value of ocean water because of global warming. It happens due to