A Non-Asymptotic Analysis of Oversmoothing in Graph Neural Networks