Computational Support for Functionality Selection in Interaction Design