Computationally Feasible Automated Mechanism Design: General Approach and Case Studies