Diamond Resorts International Inc.