GADGET: a toolkit for optimization-based approaches to interface and display generation