Radar helps Kenya map mangroves and other cloud-covered forests