Provably total functions of basic arithmetic