Text this: DFT calculations of tin dioxide crystals containing heavily-doped fluorine