Coral bleaching and ocean acidification