Informing automatic generation of remote control interfaces with human designs