A recursion-theoretic characterisation of the positive polynomial-time functions