Provable Uncertainty Decomposition via Higher-Order Calibration