Finite length analysis of caching-aided coded multicasting