Computing power procurement