The dynamics of ions on phased radio-frequency carpets in high pressure gases and application for barium tagging in xenon gas time projection chambers