General-relativistic magneto-hydrodynamics simulations of binary compact-star mergers