Cyclohexanone synthesis