The cost of King Charles's spectacular Coronation has been released by the Government.