An a posteriori-driven adaptive Mixed High-Order method with application to electrostatics