Replace Your Carpets or Have Them Professionally Cleaned before Selling Your House?