Polyfluorobicyclo[4,4,0]decanes. Part I. The fluorination of tetralin over cobalt trifluoride