Higher-form symmetries and 3-group in axion electrodynamics