El teorema de Hadwiger sobre funciones convexas, III: Fórmulas de Steiner y medidas mixtas de Monge-Ampère