A grey-box approach to automated mechanism design