Closure of Polynomial-Time Computable Functions Under Composition