Compact semi-toric systems as Hamiltonian $S^1$-spaces