Syntheses of fluorinated trehalose derivatives to test their impact on protein stability