Why King Charles III marks his official birthday in June despite a November birth: What is trooping the colour?