Mining DeepOnion coins: is it profitable ?