On the 6th of May 2023, Charles III is to have his coronation. But what exactly is a coronation? And how do they work?