SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services