Are there any limits on the size of a TARDIS's outer shell?