Synthesis, X-ray characterization and theoretical study of 3a,6:7,9a-diepoxybenzo[de]isoquinoline derivatives: on the importance of F⋯O interactions