Official accounts have revealed for the first time how much the King's 2023 coronation cost UK taxpayers.