Fluctuational opening of the double helix as revealed by theoretical and experimental study of DNA interaction with formaldehyde