Consumer surplus is