The Hadwiger theorem on convex functions, III: Steiner formulas and mixed Monge-Ampère measures