A Constraint Programming Approach to Automatic Layout Definition for Search Results