DFT studies on the mechanism of the cycloaddition reaction between methyleneketene and 5-methylene-1,3-dioxan-4,6-dione: regioselectivity and solvent effect