$46 million North Texas mega-mansion sells at auction