Formation of hydronium ions on Brønsted sites in zeolitic catalysts: a quantum-chemical ab initio study