An Automated Mechanism Design Approach for Sponsored Search Auctions with Federated Search Engines