Globally $\pmb{+}$ -regular varieties and the minimal model program for threefolds in mixed characteristic