Efficient synthesis of 1,3-dioxanes catalyzed by trifluoromethanesulfonic acid using formalin as formaldehyde source