Computing power taxation