Synthesis of the special issue: The formation and evolution of Ceres’ Occator crater