The science behind why an Olympic diving pool in Rio suddenly turned a swampy green