Theoretical study of protonated aluminium oxide