Text this: Annual forest cover maps in Africa during 2015–2023 by analyses of PALSAR-2, Landsat, and GEDI LiDAR datasets with knowledge-based algorithms