Proof of the area–angular momentum–charge inequality for axisymmetric black holes