Essential dimension in mixed characteristic