Which of these is the correct formula for consumer surplus?