Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications