Planetary health and environmental sustainability in African health professions education