Provably positive high-order schemes for ideal magnetohydrodynamics: analysis on general meshes