Anisotropic charge screening and supercell size convergence of defect formation energies