Computational study of the carbonyl-ene reaction of encapsulated formaldehyde in Na-FAU zeolite