Producer surplus is the