fleshed out execute_auction