Theoretical analysis of the distribution of isolated particles in the TASEP: Application to mRNA translation rate estimation