Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Logical Methods in Computer Science, 2023)