Hydrogen production by aluminium corrosion: experimental investigation and mathematical modelling