A Grey-Box Approach to Automated Mechanism Design