Double dehydrogenation of carbocyclic β-dicarbonyl compounds: Koser’s reagent can do what iodine(V) reagents can